formal specification - İspanyolca İngilizce Sözlük